Computing Fundamental Group of General 3-Manifold
نویسندگان
چکیده
Fundamental group is one of the most important topological invariants for general manifolds, which can be directly used as manifolds classification. In this work, we provide a series of practical and efficient algorithms to compute fundamental groups for general 3-manifolds based on CW cell decomposition. The input is a tetrahedral mesh, while the output is symbolic representation of its first fundamental group. We further simplify the fundamental group representation using computational algebraic method. We present the theoretical arguments of our algorithms, elaborate the algorithms with a number of examples, and give the analysis of their computational complexity.
منابع مشابه
Solvable Fundamental Groups of Compact 3-manifolds by Benny Evans and Louise Moser
A classification is given for groups which can occur as the fundamental group of some compact 3-manifold. In most cases we are able to determine the topological structure of a compact 3-manifold whose fundamental group is known to be solvable. Using the results obtained for solvable groups, we are able to extend some known results concerning nilpotent groups of closed 3-manifolds to the more ge...
متن کاملGeometries and Infrasolvmanifolds in Dimension 4
We show that every torsion-free virtually poly-Z group of Hirsch length 4 is the fundamental group of a closed 4-manifold with a geometry of solvable Lie type. Geometric 4-manifolds of solvable Lie type are infrasolvmanifolds, and their fundamental groups are torsion-free virtually poly-Z group π of Hirsch length 4. We shall show that every such group is realized geometrically. In general, ever...
متن کاملResidual Properties of Graph Manifold Groups
Let f : M → N be a continuous map between closed irreducible graph manifolds with infinite fundamental group. Perron and Shalen [PS99] showed that if f induces a homology equivalence on all finite covers, then f is in fact homotopic to a homeomorphism. Their proof used the statement that every graph manifold is finitely covered by a 3-manifold whose fundamental group is residually p for every p...
متن کاملWhat is an Almost Normal Surface?
A major breakthrough in the theory of topological algorithms occurred in 1992 when Hyam Rubinstein introduced the idea of an almost normal surface. We explain how almost normal surfaces emerged naturally from the study of geodesics and minimal surfaces. Patterns of stable and unstable geodesics can be used to characterize the 2-sphere among surfaces, and similar patterns of normal and almost no...
متن کاملON THE LIFTS OF SEMI-RIEMANNIAN METRICS
In this paper, we extend Sasaki metric for tangent bundle of a Riemannian manifold and Sasaki-Mok metric for the frame bundle of a Riemannian manifold [I] to the case of a semi-Riemannian vector bundle over a semi- Riemannian manifold. In fact, if E is a semi-Riemannian vector bundle over a semi-Riemannian manifold M, then by using an arbitrary (linear) connection on E, we can make E, as a...
متن کامل